<!DOCTYPE html>
<!--
     SPDX-License-Identifier: CC-BY-SA-4.0
     SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
<!-- Page last generated 2025-02-20 03:16:15 +0000 -->
<html lang="en">
  <head>
    <meta charset="utf-8">
    <meta http-equiv="X-UA-Compatible" content="IE=edge">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <title>1.4.1 | seL4 docs</title>

    <!-- Our stylesheet and theme stylesheet.  Contains bootstrap. -->
    <link rel="stylesheet" href="/assets/css/style.css" type="text/css">
    <!-- Font awesome -->
    <link href="https://use.fontawesome.com/releases/v5.0.8/css/all.css" rel="stylesheet">
    <link href="https://fonts.googleapis.com/css2?family=Roboto&display=swap" rel="stylesheet">
    <!-- Pygments syntax highlighting  -->
    <link rel="stylesheet" href="/assets/css/highlighting/trac.css" type="text/css">
    <link rel="icon" type="image/x-icon" href="/assets/favicon.ico"><script defer data-domain="docs.sel4.systems"
	    src="https://analytics.sel4.systems/js/script.js"></script></head>

  <body class="container-fluid">

    



<header>
  <ul class="row menu">
    <li class="col-xs-12 col-md-2" >
            <a href="https://sel4.systems" class="skip-icon">
              <img class="img-responsive" src="/assets/logo-text-white.svg" alt="seL4 logo" />
            </a>
    </li>
    <li class="col-xs-12 col-md-10 menu">
      <nav aria-label="Banner links">
        <h2><a href="/Resources" />Resources</h2>
        <h2><a href="/processes" />Contributing</a></h2>
        <h2><a href="/projects" />Projects</h2>
        <h2><a href="/Tutorials" />Tutorials</h2>
        <iframe title="DuckDuckGo search bar" src="https://duckduckgo.com/search.html?site=docs.sel4.systems&prefill=Search%20sel4.systems" style="overflow:hidden;margin-bottom:10px; padding:0;height:40px;float:right;border-width: 0px"></iframe>
      </nav>
    </li>
  </ul>
  <div class="clear"></div>
  
<div class="breadcrumbs bootstrap hidden-sm-down">
  <nav class="sel-breadcrumb" aria-label="Breadcrumb" >
    <ol class=" list-unstyled" vocab="http://schema.org/" typeof="BreadcrumbList">
      
      
        

        

        <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <a property="item" typeof="WebPage" href="/">
              <span property="name"><b>seL4 Docs</b></span>
            </a>
            <meta property="position" content="1" />
        </li>
      
        

        
          <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <span property="name">1.4.1</span>
            <meta property="position" content="2" /></li>
          
    </ol>
  </nav>
  <nav class="sel-version" aria-label="Current Versions">
    <ol class="list-unstyled">
      <li class="list-unstyled text-right" style="margin-left:auto; padding:0rem 0rem;">
        Current versions:</li>
      <li class="list-unstyled text-right">
      <a href="/releases/sel4/13.0.0"><b>seL4-13.0.0</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/microkit/1.4.1"><b>microkit-1.4.1</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/camkes/camkes-3.11.0"><b>camkes-3.11.0</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/capdl/0.3.0"><b>capDL-0.3.0</b></a></li>
      </ol>
  </nav>
  <div class='clear'></div>
</div>


</header>

    <main>
      <div class="row">
  <div class="hidden-xs col-sm-4 col-md-3 col-lg-2">
    


<div class="sidebar">
















</div>

  </div>
  <div class="content col-sm-8 col-md-6 col-lg-7 main">
    <h1 id="microkit-release-141">Microkit Release 1.4.1</h1>

<h4 id="2024-08-16">2024-08-16</h4>

<p>This release contains various bug fixes. It does not include any new features.</p>

<ul>
  <li>Fixed two bugs in the tool that lead to initialisation failure on larger Microkit systems.</li>
  <li>Disabled the <code class="language-plaintext highlighter-rouge">KernelArmVtimerUpdateVOffset</code> kernel configuration option by default.
    <ul>
      <li>This is necessary for Microkit VMs where they rely on knowing the actual surpassed time.
More details are in the <a href="https://github.com/seL4/microkit/pull/202">pull request</a>.</li>
    </ul>
  </li>
  <li>Enabled FPU for QEMU RISC-V virt and Pine64 Star64.
    <ul>
      <li>libmicrokit builds with hardware floating point enabled and, while it does not use the FPU,
it means that every object linked with libmicrokit must also build with hardware floating
point enabled. Previously using floating point operations would cause a crash in user-space.</li>
    </ul>
  </li>
  <li>Fixed the loader link address for the MaaXBoard.
    <ul>
      <li>This does mean that if you target the MaaxBoard you will have to load Microkit images at
a different address. See the manual for details.</li>
    </ul>
  </li>
  <li>Added error checking for overlapping memory regions.</li>
  <li>Included every TCB register in the monitor logs when a fault occurs.</li>
  <li>Made the tool compile from source with a Rust version lower that 1.79.0.</li>
  <li>Specified a minimum Rust version for the tool (1.73.0).</li>
  <li>Fixed typo in the <code class="language-plaintext highlighter-rouge">--help</code> output of the tool.</li>
  <li>Minor README fixes.</li>
  <li>Updated PyYAML dependency in requirements.txt to 6.0.2 (from 6.0).</li>
</ul>

<h2 id="full-changelog">Full changelog</h2>

<p>Use <code class="language-plaintext highlighter-rouge">git log 1.4.0..1.4.1</code> in <a href="https://github.com/seL4/microkit/">https://github.com/seL4/microkit/</a></p>

<h2 id="more-details">More details</h2>

<p>See the <a href="https://github.com/seL4/microkit/blob/main/docs/manual.md">documentation</a>
or ask on the mailing list!</p>


  </div>







  
  
<div class="sidebar-toc hidden-xs hidden-sm col-md-3 col-lg-3">
  
    <ul class="section-nav">
    	<h2> Microkit </h2> 
        <li>
          
          <a style="" class="" href="/projects/microkit/">
            Documentation homepage
          </a>
        </li>













    
        <h3>Useful URLs</h3>
    
        <li>
          <a style="" class="" href="https://github.com/seL4/microkit/blob/main/docs/manual.md">
            Microkit user manual
          </a>
        </li>

    
        <li>
          <a style="" class="" href="https://trustworthy.systems/projects/microkit/tutorial">
            Microkit tutorial
          </a>
        </li>

    
        <li>
          <a style="" class="" href="https://github.com/seL4/microkit/issues/61">
            Microkit development roadmap
          </a>
        </li>

    
        <li>
          <a style="" class="" href="https://trustworthy.systems/projects/microkit">
            Trustworthy Systems Microkit project
          </a>
        </li>





    
        <h3>Repositories</h3>
    
        <li>
          <a class="" href="https://github.com/sel4/microkit">
            microkit
          </a>
        </li>

    
        <li>
          <a class="" href="https://github.com/au-ts/microkit_tutorial">
            microkit_tutorial
          </a>
        </li>









  
      
          <h3>Releases</h3>
      
          <li>
            <a style=" font-weight: bold; " href="/releases/microkit/1.4.1.html">
              1.4.1
            </a>
          </li>
  
      
          <li>
            <a style="" href="/releases/microkit/1.4.0.html">
              1.4.0
            </a>
          </li>
  
      
          <li>
            <a style="" href="/releases/microkit/1.3.0.html">
              1.3.0
            </a>
          </li>
  



<h3>SDK downloads</h3>
  
    <h4>1.4.1</h4>
    
      <li>
          <a href="https://github.com/seL4/microkit/releases/download/1.4.1/microkit-sdk-1.4.1-linux-x86-64.tar.gz">
              microkit-sdk-1.4.1-linux-x86-64.tar.gz
            </a>
      </li>
    
      <li>
          <a href="https://github.com/seL4/microkit/releases/download/1.4.1/microkit-sdk-1.4.1-macos-x86-64.tar.gz">
              microkit-sdk-1.4.1-macos-x86-64.tar.gz
            </a>
      </li>
    
      <li>
          <a href="https://github.com/seL4/microkit/releases/download/1.4.1/microkit-sdk-1.4.1-macos-aarch64.tar.gz">
              microkit-sdk-1.4.1-macos-aarch64.tar.gz
            </a>
      </li>
    
  
    <h4>1.4.0</h4>
    
      <li>
          <a href="https://github.com/seL4/microkit/releases/download/1.4.0/microkit-sdk-1.4.0-linux-x86-64.tar.gz">
              microkit-sdk-1.4.0-linux-x86-64.tar.gz
            </a>
      </li>
    
      <li>
          <a href="https://github.com/seL4/microkit/releases/download/1.4.0/microkit-sdk-1.4.0-macos-x86-64.tar.gz">
              microkit-sdk-1.4.0-macos-x86-64.tar.gz
            </a>
      </li>
    
      <li>
          <a href="https://github.com/seL4/microkit/releases/download/1.4.0/microkit-sdk-1.4.0-macos-aarch64.tar.gz">
              microkit-sdk-1.4.0-macos-aarch64.tar.gz
            </a>
      </li>
    
  
    <h4>1.3.0</h4>
    
      <li>
          <a href="https://github.com/seL4/microkit/releases/download/1.3.0/microkit-sdk-1.3.0-linux-x86-64.tar.gz">
              microkit-sdk-1.3.0-linux-x86-64.tar.gz
            </a>
      </li>
    
      <li>
          <a href="https://github.com/seL4/microkit/releases/download/1.3.0/microkit-sdk-1.3.0-macos-x86-64.tar.gz">
              microkit-sdk-1.3.0-macos-x86-64.tar.gz
            </a>
      </li>
    
      <li>
          <a href="https://github.com/seL4/microkit/releases/download/1.3.0/microkit-sdk-1.3.0-macos-aarch64.tar.gz">
              microkit-sdk-1.3.0-macos-aarch64.tar.gz
            </a>
      </li>
    
  





    </ul>

</div>


</div>

    </main>
    


<footer class="site-footer">

  <h2 class="footer-heading">seL4 docs</h2>

  <div class="footer-col-wrapper">

    <div class="col-md-2">
      



<ul class="social-media-list">
  <li><a href="https://github.com/sel4"><i class="fab fa-github"></i> <span class="username">sel4</span></a></li><li><a href="https://github.com/sel4proj"><i class="fab fa-github"></i> <span class="username">sel4proj</span></a></li>
</ul>

    </div>

    <div class="col-md-8">
      <ul class="list-unstyled">
        <li>
          This site is for displaying seL4 related documentation.  Pull requests are welcome.
        </li>
        
          <li>
            Site last updated: Fri Feb 7 10:17:38 2025 +1100 ee78c8857c
          </li>
          <li>
          </li>
        
      </ul>
    </div>
    <div class="col-md-2">
<a href="https://github.com/seL4/docs/blob/master/content_collections/_releases/microkit/1.4.1.md">View page on GitHub</a>
      <br />
      <a href="https://github.com/seL4/docs/edit/master/content_collections/_releases/microkit/1.4.1.md">Edit page on GitHub</a>
      <br />
      <a href="/sitemap">Sitemap</a>
    </div>

  </div>

</footer>

  </body>
</html>
